| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Algorithmische Modelltheorie I | Fach-/Modulprüfung | 9 | 515396 | ||
| Compilerbau | Fach-/Modulprüfung | 6 | 515331 | ||
| Dynamical Processes on Networks | Fach-/Modulprüfung | 6 | 516588 | ||
| Vorlesung | 521079 | Di 12:30-14:00 UMIC_024 (2165|024) (×13) Do 16:30-18:00 5054 (2356|054) (×15) | |||
| Übung | 521080 | Do 10:30-12:00 5054 (2356|054) (×14) | |||
| Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 514976 | Do 20.02.2025 14:30-16:30 H02 (1385|102) Di 18.03.2025 14:30-16:30 Otto Fuchs-Hörsaal (H03) (1385|003) | |
| Vorlesung | 521740 | Mo 16:30-18:00 AH I (2350|028) (×15) Di 16:30-18:00 AH V (2356|050) (×15) | |||
| Tutorium | 521741 | Mi 16:30-18:00 AH II (2350|111) (×15) Do 08:30-10:00 5052 (2356|052) (×15) Do 10:30-12:00 5056 (2356|056) (×15) Do 12:30-14:00 5052 (2356|052) (×15) Do 12:30-14:00 5054 (2356|054) (×15) Do 16:30-18:00 5052 (2356|052) (×15) | |||
| Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 515602 | ||
| Vorlesung/Übung | 511645 | Mo 08:30-10:00 AH I (2350|028) (×14) Mo 16:30-17:15 5056 (2356|056) (×14) Di 08:30-10:00 AH V (2356|050) (×15) | |||
| Introduction to Algorithmic Differentiation | Fach-/Modulprüfung | 6 | 518526 | Fr 21.02.2025 08:30-10:00 H01 (1385|101) TEMP1 (1515|001) Mo 24.03.2025 08:30-10:00 Großer Hörsaal AM (1420|210) | |
| Vorlesung/Übung | 510858 | Di 10:30-12:00 AH III (2350|314.1) (×14) Mi 10:30-12:00 AH IV (2354|030) (×15) | |||
| Komplexitätstheorie | Fach-/Modulprüfung | 6 | 515647 | ||
| Lineare Optimierung und Netzwerkalgorithmen | Fach-/Modulprüfung | 9 | 516686 | ||
| Vorlesung | 513420 | Mo 10:30-12:00 II (1010|201) (×1) Mo 10:30-12:00 SeMath (1950|008) (×14) Fr 12:30-14:00 H10 (1385|217) (×1) Fr 12:30-14:00 SeMath (1950|008) (×13) | |||
| Übung | 513071 | Mo 16:30-18:00 SeMath (1950|008) (×14) | |||
| Mathematische Logik II | Fach-/Modulprüfung | 6 | 515392 | ||
| Model Checking | Fach-/Modulprüfung | 6 | 518530 | Do 06.02.2025 11:30-13:30 H02 (1385|102) Roter Hörsaal AM (Ro) (1420|002) Mi 05.03.2025 11:30-13:30 Großer Hörsaal AM (1420|210) | |
| Vorlesung | 521373 | Mi 12:30-14:00 AH I (2350|028) (×15) Do 10:30-12:00 AH III (2350|314.1) (×15) | |||
| Übung | 521372 | Do 08:30-10:00 AH III (2350|314.1) (×13) |